package display;

import java.awt.Graphics;

import javax.swing.JApplet;

/**
 *	Main frame of the Game, handles display of the SplashScreen, menus and the game....
 *
 *	@author Neil Cowzer
 */
public class Lemmings extends JApplet{

	/** The current window. */
	private String window;
	//@ invariant window.equals("splash") || window.equals("menu") || window.equals("game");
	
    /** Default constructor */
    public Lemmings(){
       
    }
    
    /** Get the current window. */
    public /*@ pure @*/ String getWindow(){
    	return window;
    }
   
    /** Intialise the Frame */
    public void init(){
        // load in SplashScreen first
    }
   
   
    /**
     * Allow for replacement of various panels and so forth.
     * eg SplashScreen -> Menu -> ..
     *
     */
    public void control(){
       /* if (splashscreen is finished)
        * 		load menu;......
        */
    }
   
    /** Override the paint method */
    public void paint(Graphics g){
       
    }
   
    /** The running of the Frame */
    public void run(){
       /* init();
        * .......
        */
       
    }
   
    /** Main Method */
    public static void main(String[] args){
       Lemmings game = new Lemmings();
       game.run();
    }
}

